z := proc(f) return := proc(x) return := proc(y) return := f(x,y) end end end (proc(a,b) return := a + b end)(5)(4)
